[livres divers classés par sujet] [Informatique] [Algorithmique] [Programmation] [Mathématiques] [Hardware] [Robotique] [Langage] [Intelligence artificielle] [Réseaux]
[Bases de données] [Télécommunications] [Chimie] [Médecine] [Astronomie] [Astrophysique] [Films scientifiques] [Histoire] [Géographie] [Littérature]

Eine Prädikat- und Invariantenverwaltung zur Synchronisation in APRICOTS

title Eine Prädikat- und Invariantenverwaltung zur Synchronisation in APRICOTS
creator Schirmer, Darius
date 1997-01
language ger
identifier  http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIP-1526&engl=1
description 113 pages
publisher Stuttgart, Germany, Universität Stuttgart
type Text
Diploma Thesis
contributor Anwendersoftware (Prof. Reuter) (IPVR)
subject Distributed Systems (CR C.2.4)
Operating Systems Reliability (CR D.4.5)
Specifying and Verifying and Reasoning about Programs (CR F.3.1)
Database Management Systems (CR H.2.4)
relation Diploma Thesis No. 1526